package org.dfl.plugin.editor.tools;

import org.eclipse.gef.palette.SelectionToolEntry;

/**
 * entry for PanningSelectionTool
 * @author Piotr Wlodarczyk
 *
 */
public class PanningSelectionToolWithDblClickEntry extends SelectionToolEntry {

	/**
	 * Creates a new PanningSelectionToolEntry.
	 */
	public PanningSelectionToolWithDblClickEntry() {
		this(null);
	}

	/**
	 * Constructor for PanningSelectionToolEntry.
	 * 
	 * @param label
	 *            the label
	 */
	public PanningSelectionToolWithDblClickEntry(String label) {
		this(label, null);
	}

	/**
	 * Constructor for PanningSelectionToolEntry.
	 * 
	 * @param label
	 *            the label
	 * @param shortDesc
	 *            the description
	 */
	public PanningSelectionToolWithDblClickEntry(String label, String shortDesc) {
		super(label, shortDesc);
		setToolClass(PanningSelectionToolWithDblClick.class);
	}

}
